Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of the organizing committees

• L. Straßburger was on the Organization Committee for the International Workshop on Efficient and Natural Proof Systems, held at the University of Bath 14-16 December, 2015

Scientific events selection

Chair of conference program committees

• K. Chaudhuri was the Program Committee chair of the following meeting.

  • LFMTP 2015: Logical Frameworks and Meta-Languages: Theory and Practice

    Co-chaired with Iliano Cervesato, Carnegie Mellon University (Qatar)

Member of conference program committees

• D. Miller was on the Program Committees of the following meetings.

  • TABLEAUX 2015: Automated Reasoning with Analytic Tableaux and Related Methods, Wroclaw, Poland, September.

  • PPDP 2015: 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, 13-16 July.

  • PxTP 2015: Fourth Workshop on Proof eXchange for Theorem Proving, Berlin, Germany, 2-3 August.

  • ICALP 2015 (42nd International Colloquium on Automata, Languages, and Programming), Track B, Kyoto, Japan, 6-10 July.

• S. Graham-Lengrand was on the Program Committees of the following meetings.

  • TABLEAUX 2015: Automated Reasoning with Analytic Tableaux and Related Methods, Wroclaw, Poland, September.

  • CSL 2015: 24th EACSL Annual Conference on Computer Science Logic, Berlin, Germany, 7-10 September.

• K. Chaudhuri was on the Program Committees of the following meetings.

  • CPP 2015: ACM-SIGPLAN Conference on Certified Programs and Proofs

  • FICS 2015: International Workshop on Fixed Points in Computer Science

  • WoF 2015: International Workshop on Focusing

• L. Straßburger was on the Program Committees of the following meetings.

  • FoSSaCS 2015: 18th International Conference on Foundations of Software Science and Computation Structures

  • WENSP: International Workshop on Efficient and Natural Proof Systems

• G. Reis was on the Program Committee for the following meeting.

  • LFMTP 2015: Logical Frameworks and Meta-Languages: Theory and Practice

Reviewer

• T. Libal was a reviewer for the following workshops:

  • Fourth Workshop on Proof eXchange for Theorem Proving.

• S. Graham-Lengrand was a reviewer for the following conferences:

  • LPAR 2015: 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Suva, Fiji, November.

  • LICS 2015: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Kyoto, Japan, July.

• D. Ilik was a reviewer for the following conferences:

  • ESOP 2015: 24th European Joint Conferences on Theory and Practice of Software

  • FoSSaCS 2015: 18th International Conference on Foundations of Software Science and Computation Structures

  • TLCA 2015: 13th International Conference on Typed Lambda Calculi and Applications

• M. Volpe was a reviewer for the following conferences:

  • Tableaux 2015: 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Wroclaw, Poland, September.

• L. Straßburger was a reviewer for the following conferences:

  • TLCA 2015: 13th International Conference on Typed Lambda Calculi and Applications

  • LPAR 2015: 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Suva, Fiji, November.

  • FLOPS 2016: Thirteenth International Symposium on Functional and Logic Programming March 4-6, 2016, Kochi, Japan

• B. Accattoli was a reviewer for the following conferences:

  • CSL 2015: 24th EACSL Annual Conference on Computer Science Logic, Berlin, Germany, 7-10 September.

  • TGC 2015: 10th International Symposium on Trustworthy Global Computing, Madrid, Spain, August 31 to September 1.

  • FoSSaCS 2016: 19th International Conference on Foundations of Software Science and Computation Structures, to be held in Eindhoven, The Netherlands, 2-8 April 2016.

• T. Brock-Nannestad was a reviewer for the following conferences:

  • ITP 2015: 6th Conference on Interactive Theorem Proving, Nanjing, China, August 24–27 August, 2015.

  • CPP 2016: The 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, Florida, USA, January 18–19, 2016.

Journal

Editor-in-chief

D. Miller was Editor-in-Chief of the ACM Transactions on Computational Logic. He completed a six year term on June 2015.

Member of the editorial boards

• D. Miller is on the editorial board of the following journals: ACM Transactions on Computational Logic, Journal of Automated Reasoning (Springer), Theory and Practice of Logic Programming (Cambridge University Press), and Journal of Applied Logic (Elsevier).

• D. Miller served on as an editor for Logical Methods in Computer Science for the production of a special issue for papers from CSL-LICS 2014.

• K. Chaudhuri served as a guest editor for Mathematical Structures in Computer Science special issue on Logical Frameworks and Meta Languages, based on selected papers from LFMTP 2015

Reviewer - Reviewing activities

• T. Libal was a reviewer for the following journals:

  • Journal of Automated Reasoning (Springer).

• S. Graham-Lengrand was a reviewer for the following journals: J. Appl. Logic, Theoret. Comput. Sci., Acta Inform.

• D. Ilik was a reviewer for the following journals:

  • Mathematical Reviews (MathSciNet)

  • Zentralblatt MATH

• M. Volpe was a reviewer for the following journals:

  • Annals of Mathematics and Artificial Intelligence;

  • Journal of Automated Reasoning;

  • Logica Universalis.

• L. Straßburger was a reviewer for the following journals:

  • Logical Methods in Computer Science (two articles)

  • Theoretical Computer Science, Elsevier

  • Ontos Mathematical Logic, Walter De Gruyter

  • Logic Journal of the IGLP, Oxford University Press

• B. Accattoli was a reviewer for the following journals:

  • Logical Methods in Computer Science (two articles)

  • Theoretical Computer Science, Elsevier

Invited talks

• D. Miller was a plenary speaker at the joint meeting of LOPSTR 2015 and PPDP 2015 (Siena, Italy) and was an invited speaker at LSFA 2015 (Natal Brazil) and in the Session on History and Philosophy of Computing at the 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki.

• D. Miller gave spoke at the ETH Zurick Department of Computer Science Distinguished Colloquium Series on 20 April.

• S. Graham-Lengrand gave an invited talk at the IFIP Working Group 1.6 on Term Rewriting, on the occasion of its 2015 annual meeting in Warsaw, Poland.

• B. Accattoli was an invited speaker at the 16th International Workshop on Logic and Computational Complexity (Kyoto, Japan, 5th of July).

Leadership within the scientific community

• D. Miller was a member of the ACM SIGLOG Advisory Board, the LICS Organizing Board, the CPP Steering Committee, and the ACM SIGLOG Executive Committee Nominating Committee. He was also the Chair of the LICS 1995 Test-of-Time Award selection committee.

• S. Graham-Lengrand is head of the French National Workgroup on Logic, Algebra, and Computation (part of GDR Informatique Mathématique, funded by CNRS).

• K. Chaudhuri was elected to the Steering Committee of LFMTP (http://lfmtp.org ) for a term of 5 years in 2015.